I am only concerned that "literalness" in regards to breasonings won't be able to be annotated yet because it refers to the count1 algorithm in Principia Mathematica, which counts topics that are literally mentioned in breasoned texts.  Also, the idea "select" in writing programs is pointed out to refer to the technique of simplifying an algorithm by selecting what is required, rather than unnecessary traversal of data.